Wanda Szmielew (* 5. April 1918 in Warschau; † 27. August 1976 ebenda) war eine polnische mathematische Logikerin. Szmielew studierte ab 1935 an der Universität Warschau, wobei sie sich unter Alfred Tarski und Lindenbaum mit mathematischer Logik beschäftigte. Eine erste Arbeit stellte sie 1938 fertig, sie konnte aber erst nach dem Zweiten Welt...